In a now classic paper, Karen Carr argues that Kierkegaard is a religious “anti-rationalist”: He holds that reason and religious truth exist in necessary tension with one another. Carr maintains that this antagonism is not a matter of the logical incoherence of Christianity, but rather the fact that genuine submission to Christ precludes approaching him through demonstration. In this essay, we argue that while Kierkegaard is in fact an anti-rationalist, the literature has failed to appreciate the full strength of his (...) position. It is not just that reason and obedience are in tension; rather, Kierkegaard holds the stronger view that reason is actively offended by Christianity’s primary claims. Not only is reason incapable of generating any positive evidence for the truth of Christianity, more radically, it provides evidence against it. In order to make this case, we offer a close reading of Practice in Christianity, developing a typology of Kierkegaard’s account of Christ’s “offense.” Finally, having motivated Kierkegaard’s strong anti-rationalism, we consider why, on his account, anyone would want to be a Christian. (shrink)

We study the cube of type assignment systems, as introduced in Giannini et al. 87–126), and confront it with Barendregt's typed gl-cube . The first is obtained from the latter through applying a natural type erasing function E to derivation rules, that erases type information from terms. In particular, we address the question whether a judgement, derivable in a type assignment system, is always an erasure of a derivable judgement in a corresponding typed system; we show that this property holds (...) only for systems without polymorphism. The type assignment systems we consider satisfy the properties ‘subject reduction’ and ‘strong normalization’. Moreover, we define a new type assignment cube that is isomorphic to the typed one. (shrink)

Thomas Kuhn is mostly known for his contributions to the philosophy of science. However, it was chiefly to investigations in philosophy of language that he dedicated the last part of his career. The aim of this paper is to present a systematic view of Kuhn’s main ideas on this subject. I start by describing his theory of concept, in particular what he says about kind terms. Such terms, acquired in blocks that form contrast sets or “taxonomies,” are learned through ostensible (...) definitions. Next, I analyze Kuhn’s concepts of “meaning” and “truth.” Finally, I discuss a second type of kinds terms, not fully investigated by him, which is learned together with scientific laws. Resumo Thomas Kuhn é conhecido principalmente por suas contribuições para a filosofia da ciência. No entanto, foi em grande medida à filosofia da linguagem que ele dedicou a última parte de sua carreira. O objetivo deste artigo é apresentar uma visão sistemática das principais ideias de Kuhn sobre esse assunto. Começo descrevendo sua teoria do conceito, em particular o que ele diz sobre termos para espécie. Tais termos, aprendidos em blocos que formam conjuntos de contraste ou “taxonomias”, são aprendidos através de definições ostensivas. Em seguida, analiso as concepções de Kuhn de “significado” e “verdade”. Finalmente, discuto um segundo tipo de termo para espécies, não totalmente investigado por ele, que é aprendido junto com as leis científicas. (shrink)

Entrevista com Martin Jay (Universidade de Berkeley, Califórnia), por Bruna Della Torre e Eduardo Altheman.

This paper describes the Eunomos software, an advanced legal document and knowledge management system, based on legislative XML and ontologies. We describe the challenges of legal research in an increasingly complex, multi-level and multi-lingual world and how the Eunomos software helps users cut through the information overload to get the legal information they need in an organized and structured way and keep track of the state of the relevant law on any given topic. Using NLP tools to semi-automate the lower-skill (...) tasks makes this ambitious project a realistic commercial prospect as it helps keep costs down while at the same time allowing greater coverage. We describe the core system from workflow and technical perspectives, and discuss applications of the system for various user groups. (shrink)

This paper argues that: (a) the transmitted text of Pind. Nem. 3.35–6 ποντίαν Θέτιν κατέμαρψεν | ἐγκονητί (‘[Peleus] caught the sea-nymph Thetis quickly’) is not the original text of Pindar; (b) ἐγκονητί does not fit the context, is not an attested Greek word and should be eliminated from dictionaries of ancient Greek; (c) Byzantine etymological works, followed by many modern scholars, base their explanations on the late antique form ἀκονητί, which should be eliminated from classical, Hellenistic and imperial texts; (d) (...) the tradition of the Etymologicum Magnum knows the variant ἐγκονιτί (conjectured for Pindar by Bergk) ‘with dust’ (‘with effort’), which seems presupposed by the scholia on Pindar; (e) the form ἐγκονιτί (created on the pattern of ἀκονιτί) is to be preferred in Pindar for reasons of language and content and should be added to the dictionaries of ancient Greek. (shrink)

We introduce a reciprocity criterion for coalition formation among goal-directed agents, which we call the indecomposable do-ut-des property. It refines an older reciprocity property, called the do-ut-des or give-to-get property by considering the fact that agents prefer to form coalitions whose components cannot be formed independently. A formal description of this property is provided as well as an analysis of algorithms and their complexity. We provide an algorithm to decide whether a coalition has the desired property, and we show that (...) the problem to verify whether a single coalition satisfies the property is tractable. Moreover, we provide an algorithm to search all the sub-coalitions of a given coalition satisfying the new property. Even if this problem is not computationally tractable, we show that in several cases, also the complexity of this problem may decrease considerably. (shrink)

This article seeks to address the problem of the ‘resource consumption bottleneck’ of creating legal semantic technologies manually. It describes a semantic role labeling based information extraction system to extract definitions and norms from legislation and represent them as structured norms in legal ontologies. The output is intended to help make laws more accessible, understandable, and searchable in a legal document management system.

Nel mio articolo propongo una lettura dei §§ 79-84 della Critica del Giudizio, parte della sezione Metodologia del Giudizio teleologico. Dapprima mi interrogo sul significato di una Methodenlehre del Giudizio teleologico, che rintraccio in un’attività metariflessiva del Giudizio; procedo poi ad una lettura analitica del testo nelle sue varie articolazioni, nella quale passo in rassegna le questioni attinenti alla specificità dello statuto epistemologico della teleologia, alla possibile convivenza tra finalismo e meccanicismo nella scienza della natura, all’origine (...) della vita, allo scopo ultimo della natura e allo scopo finale della creazione; approdo, infine, ad un’interpretazione per cui l’intera teleologia rationis humanae, che si estende dalla teleologia naturale alla teleologia morale passando per l’antropologia e per la filosofia della storia, viene in questa sezione riarticolata intorno ad un nuovo fulcro concettuale di livello trascendentale, che può garantire l’effettivo collegamento tra queste diverse parti della filosofia proprio perché esso non si esercita in forma di dominio legislativo, ma in forma di riflessione sul molteplice empirico e sulla causalità teleologica propria dell’uomo. (shrink)

1. Teoria del diritto -- 2. Teoria della democrazia -- 3. La sintassi del diritto.

1. Critica de capire e altri scritti. 2. Scritti kantiani. 3. L'analitica trascendentale. 4. Il problema della scienza e il giudizio storico.